English programming documentation: translation to other languages